Towards a Calculus for Admissibility
نویسندگان
چکیده
منابع مشابه
The (weak) admissibility of the H∞-calculus for semigroup generators
The goal of the following is to use (infinitedimensional) linear systems theory to approach the H∞functional calculus. This extends recent work by the authors using the notion of admissible observation operators to define f (A) where f is bounded, analytic in the left half-plane and A generates an exponentially stable strongly continuous semigroup. Among other things it is shown that f (A) is a...
متن کاملTowards a Reenement Calculus for Object Systems towards a Reenement Calculus for Object Systems
the governments of the People's Republic of China and Portugal through a contribution to the UNU Endownment Fund. As well as providing two-thirds of the endownment fund, the Macau authorities also supply UNU/IIST with its ooce premises and furniture and subsidise fellow accommodation. The mission of UNU/IIST is to assist developing countries in the application and development of software techno...
متن کاملTowards a quantum calculus
The aim of this paper is to introduce a general model of quantum computation, the quantum calculus: both unitary transformations and projective measurements are allowed; furthermore a complete classical control, including conditional structures and loops, is available. Complementary to its operational semantics, we introduce a pure denotational semantics for the quantum calculus. Based on proba...
متن کاملTowards a Calculus for Dynamic Architectures
The architecture of a system describes the system’s overall organization into components and connections between those components. With the emergence of mobile computing, dynamic architectures have become increasingly important. In such architectures, components may appear or disappear, and connections may change over time. The dynamic nature of such architectures makes reasoning about their be...
متن کاملTowards a Sequent Calculus for Formal Contexts
This work focuses on the definition of a consequence relation between contexts with which we can decide whether certain contextual information is a logical consequence from a set of contexts considered as underlying hypotheses.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Annals of Statistics
سال: 1982
ISSN: 0090-5364
DOI: 10.1214/aos/1176345874